First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
901	Foundations of mathematics Sylvain Poirier http://settheory.net/ 1. First foundations of mathematics 1.1. Introduction to the foundation of mathematics Add to Reading List Source URL: settheory.net Language: English - Date: 2014-06-17 08:06:26 Predicate logic Model theory Metalogic Semantics Interpretation First-order logic Function Type theory Quantification Logic Mathematical logic Mathematics
902	Consequences of collapse∗ Forthcoming in Donald Baxter and Aaron Cotnoir, eds., Composition as Identity, OUP Theodore Sider Add to Reading List Source URL: tedsider.org Language: English - Date: 2014-05-09 12:31:48 Predicate logic Functions and mappings Model theory Function First-order logic Constructible universe Mereology Functor Surjective function Mathematics Mathematical logic Logic
903	Yet Another Paper on the Supervenience Argument against Coincident Entities∗ Theodore Sider Philosophy and Phenomenological Research[removed]): 613–24 Add to Reading List Source URL: tedsider.org Language: English - Date: 2012-10-11 07:11:28 Predicate logic Physicalism Supervenience Model theory Identity of indiscernibles Possible world First-order logic Mereology Logic Mathematical logic Modal logic
904	A Proof Procedure Using Connection Graphs ROBERT K O W A L S K I University of Edinburgh, Edinburgh, Scotland ABSTRACT. Various deficiencies of resolution systems are investigated and a new theorem-proving system designe Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:52:43 Mathematical logic Rules of inference Resolution Logic programming Unit propagation Logic in computer science SL Cons First-order logic Theoretical computer science Mathematics Automated theorem proving
905	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-28 09:34:43 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
906	ARTICLES THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM The formalization of legislation and the development of computer systems to Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:51:45 Software engineering Prolog British nationality law Canadian nationality law Logic programming Naturalization Function First-order logic Nationality law Mathematical logic Mathematics
907	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
908	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
909	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
910	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics